Microdeformation in Vredefort rocks; evidence for shock metamorphism

Planar microdeformations in quartz from basement or collar rocks of the Vredefort Dome have been cited for years as the main microtextural evidence for shock metamorphism in this structure. In addition, Schreyer describes feldspar recrystallization in rocks from the center of the Dome as the result of transformation of diaplectic glass, and Lilly reported the sighting of mosaicism in quartz. These textural observations are widely believed to indicate either an impact or an internally produced shock origin for the Vredefort Dome. Two types of (mostly sub) planar microdeformations are displayed in quartz grains from Vredefort rocks: (1) fluid inclusion trails, and (2) straight optical discontinuities that sometimes resemble lamellae. Both types occur as single features or as single or multiple sets in quartz grains. Besides qualitative descriptions of cleavage and recrystallization in feldspar and kinkbands in mica, no further microtextural evidence for shock metamorphism at Vredefort has been reported to date. Some 150 thin sections of Vredefort basement rocks were re-examined for potential shock and other deformation effects in all rock-forming minerals. This included petrographic study of two drill cores from the immediate vicinity of the center of the Dome. Observations recorded throughout the granitic core are given along with conclusions

Lista de los peces de la provincia de Santiago del Estero

…los censos de la fauna de un país o región cualquiera, constituyen una suerte de codificación de la Naturaleza, como paso previo e indispensable para un ensayo racional de aprovechamiento de las riquezas naturales y de su adecuada conservación. Desde fines del siglo XVIII se ha dicho, y lo han repetido en nuestro medio, Cosme Argerich, Alberto Palcos y otros estudiosos y cientistas, que un Código de la Naturaleza es indispensable para la libertad de una nación. [R. A. Ringuelet & R. H. Arámburu. Enumeración sistemática de los vertebrados de la Provincia de Buenos Aires. La Plata, MAA, Publ. 119, 1957].Fil: Fernandez, Luis Alfredo. Fundación Miguel Lillo; Argentina. Universidad Nacional de Catamarca. Facultad de Ciencias Exactas y Naturales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Nadalin, D.. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo; ArgentinaFil: Lopez, H. L.. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo; ArgentinaFil: Andreoli Bize, M. J.. Universidad Nacional de Catamarca. Facultad de Ciencias Exactas y Naturales; Argentin

Temperature measurements of fusion plasmas produced by petawatt laser-irradiated D2-3He or CD4-3He clustering gases

Two different methods have been employed to determine the plasma temperature in a laser-cluster fusion experiment on the Texas Petawatt laser. In the first, the temperature was derived from time-of-flight data of deuterium ions ejected from exploding D2 or CD4 clusters. In the second, the temperature was measured from the ratio of the rates of two different nuclear fusion reactions occurring in the plasma at the same time: D(d, 3He)n and 3He(d, p)4He. The temperatures determined by these two methods agree well, which indicates that: i) The ion energy distribution is not significantly distorted when ions travel in the disassembling plasma; ii) The kinetic energy of deuterium ions, especially the hottest part responsible for nuclear fusion, is well described by a near-Maxwellian distribution.Comment: 13 pages, 4 figure

Integrating a Global Induction Mechanism into a Sequent Calculus

Most interesting proofs in mathematics contain an inductive argument which requires an extension of the LK-calculus to formalize. The most commonly used calculi for induction contain a separate rule or axiom which reduces the valid proof theoretic properties of the calculus. To the best of our knowledge, there are no such calculi which allow cut-elimination to a normal form with the subformula property, i.e. every formula occurring in the proof is a subformula of the end sequent. Proof schemata are a variant of LK-proofs able to simulate induction by linking proofs together. There exists a schematic normal form which has comparable proof theoretic behaviour to normal forms with the subformula property. However, a calculus for the construction of proof schemata does not exist. In this paper, we introduce a calculus for proof schemata and prove soundness and completeness with respect to a fragment of the inductive arguments formalizable in Peano arithmetic.Comment: 16 page

Experimental study of fusion neutron and proton yields produced by petawatt-laser-irradiated D2-3He or CD4-3He clustering gases

We report on experiments in which the Texas Petawatt laser irradiated a mixture of deuterium or deuterated methane clusters and helium-3 gas, generating three types of nuclear fusion reactions: D(d, 3He)n, D(d, t)p and 3He(d, p)4He. We measured the yields of fusion neutrons and protons from these reactions and found them to agree with yields based on a simple cylindrical plasma model using known cross sections and measured plasma parameters. Within our measurement errors, the fusion products were isotropically distributed. Plasma temperatures, important for the cross sections, were determined by two independent methods: (1) deuterium ion time-of-flight, and (2) utilizing the ratio of neutron yield to proton yield from D(d, 3He)n and 3He(d, p)4He reactions, respectively. This experiment produced the highest ion temperature ever achieved with laser-irradiated deuterium clusters.Comment: 16 pages, 6 figure

Classical and Intuitionistic Subexponential Logics are Equally Expressive

International audienceIt is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented in the intuitionistic logic by double-negation, while the other direction has no truth-preserving propositional encodings. We show here that subexponential logic, which is a family of substructural refinements of classical logic, each parametric over a preorder over the subexponential connectives, does not suffer from this asymmetry if the preorder is systematically modified as part of the encoding. Precisely, we show a bijection between synthetic (i.e., focused) partial sequent derivations modulo a given encoding. Particular instances of our encoding for particular subexponential preorders give rise to both known and novel adequacy theorems for substructural logics

Simulating human and environmental exposure from hand-held knapsack pesticide application: Be-WetSpa-Pest, an integrative, spatially explicit modeling approach

This paper presents an integrative and spatially explicit modeling approach for analyzing human and environmental exposure from pesticide application of smallholders in the potato producing Andean region in Colombia. The modeling approach fulfills the following criteria: (i) it includes environmental and human compartments; (ii) it contains a behavioral decision-making model for estimating the effect of policies on pesticide flows to humans and the environment; (iii) it is spatially explicit; and (iv) it is modular and easily expandable to include additional modules, crops or technologies. The model was calibrated and validated for the Vereda La Hoya and was used to explore the effect of different policy measures in the region. The model has moderate data requirements and can be adapted relatively easy to other regions in developing countries with similar conditions

Epoxy-cross-linked Polyamine CO2 Sorbents Enhanced via Hydrophobic Functionalization

Optimizing sorption capacity and amine efficiency are among the major challenges in developing solid carbon dioxide sorbents. Such materials frequently feature polyamines impregnated onto supports adding weight to the sorbents. This work presents the cross-linking of polyethyleneimine (PEI) by the industrially available epoxy resin, bisphenol-A diglycidyl ether (DER) to form support-free sorbent materials. Prior to cross-linking, the polyamine chain is functionalized with hydrophobic additives; one material modified with the branched chain hydrocarbon 2-ethylhexyl glycidyl ether displays CO2 uptake of 0.195 g/g, 4.43 mmol CO2/g (1 atm single component CO2, 90 °C). The additive loading affects the cross-linking, with the lesser cross-linked materials showing more favorable sorption capacities and higher amine efficiencies. The type of additive also influences sorption, with the larger, longer and bulkier additives better able to free the amine from their hydrogen bonding network, generally promoting better sorption. As well as increasing CO2 uptake, the additives also reduce the optimum sorption temperature, offering a handle to tune sorbents for specific working conditions. The best performing material shows high selectivity for CO2 sorption, and under sorption cycles in a 10% CO2/90% N2 mixture, utilizing temperature swing desorption, demonstrates a good working capacity of 9.5% CO2 uptake over the course of 29 cycles. Furthermore, humidity has been found to promote CO2 sorption at lower temperatures with a CO2 uptake of 0.235 g/g, 5.34 mmol/g (1 atm single component CO2, 25 °C) using a pre-hydrated sample. Overall, these findings confirm the value of our approach where cross-linking emerges as a valid and practical alternative to loading polyamines onto solid supports. This work demonstrates the versatility of these types of materials and their potential for use in large scale carbon capture systems

Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic